Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
Understanding Registers and Data Movement in x86-64 Assembly
blog.codingconfessions.com·22h
🔧RISC-V Assembler
The Future of IoT AI in 2025 and Beyond
dev.to·7h·
Discuss: DEV
🌊Stream Processing
FSM Library for Embedded C Projects
hackster.io·3d
🦀Embedded Rust
How to Run an Arduino for Years on a Battery
makecademy.com·4h·
Discuss: Hacker News
🔌Single Board PC
PCIE 5.0 x16 to x8x8 bifurcation
c-payne.com·38m·
Discuss: r/homelab
🖥️Terminal Renaissance
Almost Always Auto (2013)
herbsutter.com·1h·
Discuss: Hacker News
🔒Type Safety
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·3d
🧠Computational Logic
A Neural Net For a Graphing Calculator?
hackaday.com·2h
🤖Advanced OCR
Performance Hacks for Brady’s Algorithm
nickdrozd.github.io·2d
🎞️Tape Combinatorics
Boffins detail new algorithms to losslessly boost AI perf by up to 2.8x
theregister.com·50m
💻Local LLMs
Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·2h
🔄Reproducible Builds
Computer Architecture: A quantitative approach
ikerexxe.github.io·3d
🖥️Hardware Architecture
AtCoder Finals Problem Statement
atcoder.jp·17h·
Discuss: Hacker News
🇯🇵Japanese Computing
How I Doubled My Lookup Performance with a Bitwise Trick
maltsev.space·1d
🔢Bitwise Algorithms
Harvard Scientists Unveil Tiny Ring Laser With Giant Potential
scitechdaily.com·7h
🔬Optical Physics
A Wide Reduction Trick (2022)
words.filippo.io·8h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Cactus Language • Stylistics 4
inquiryintoinquiry.com·1d
🌳Context free grammars
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Passionate enthusiast builds a fully functional processor out of old memory chips — hand-solders every wire, writes 1800 lines of assembler code, and makes it p...
tomshardware.com·2d
🧲RISC-V Archaeology